Inhalt des Dokuments
Publikationen
| Zitatschlüssel | schmuck2016supervisory |
|---|---|
| Autor | Schmuck, Anne-Kathrin and Schneider, Sven and Raisch, Jörg and Nestmann, Uwe |
| Seiten | 5–32 |
| Jahr | 2016 |
| Journal | Discrete Event Dynamic Systems |
| Jahrgang | 26 |
| Nummer | 1 |
| Verlag | Springer US |
| Zusammenfassung | This paper describes two steps in the generalization of supervisory control the- ory to situations where the specification is modeled by a deterministic context free language (DCFL). First, it summarizes a conceptual iterative algorithm from Schneider et al. (2014) solving the supervisory control problem for language models. This algorithm involves two basic iterative functions. Second, the main part of this paper presents an implementable algorithm realizing one of these functions, namely the calculation of the largest control- lable marked sublanguage of a given DCFL. This algorithm least restrictively removes controllability problems in a deterministic pushdown automaton realizing this DCFL. |
Zusatzinformationen / Extras
Direktzugang
Schnellnavigation zur Seite über Nummerneingabe